package org.goobs.logic;

import java.util.HashMap;
import java.util.Set;

public interface Formula {

	public void receiveSignal(Predicate pred, Term[] terms, LogicEngine engine, int signalIndex);
	
	public void receiveSignal(HashMap <Integer, Term> unkMap, LogicEngine engine, int signalIndex);
	
	public Set <Integer> signalsReceived();
	
	public void clearSignals();
}
